Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та ...

Досліджуються загальні властивості теоретико-множинних конструкцій, які використовуються, зокрема, в теорії реляційних баз даних при дослідженні табличних алгебр, побудованих на основі класичних реляційних алгебр Кодда. ...

Рассматриваются операции дизъюнкции и конъюнкции частичных предикатов, индуцированные операциями дизъюнкции и конъюнкции слабой и сильной трехзначных логик Клини.

Найдены необходимые и достаточные условия, при которых одиннадцать включений, выполняемых в табличных алгебрах, превращаются в равенства. Эти условия выражаются в терминах активных доменов таблиц и являются естественными.

Исследована задача инвариантности ключей, в том числе и простых, относительно операций табличных алгебр — современного аналога классических реляционных алгебр Кодда. Показано, что ключи инвариантны относительно операций ...

Розглянутий метод моделювання ієрархічних структур даних у вигляді списків суміжності. Наведені приклади таких списків та їх типи. Розглянуті методи побудови навігаційних запитів до ієрархічних структур даних, у тому числі ...

Исследованы алгоритмы, реализующие пересечение, объединение и разность в табличных алгебрах. Предложены модификации наиболее распространенных алгоритмов, позволяющие сократить количество вычислений. На основе оценки сложности ...